| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 582126 | ||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 581823 | ||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 582180 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 585086 | ||
| Introduction to Model Checking | Übung | 577398 | Fr 12:30-14:00 AH I (2350|028) (×15) | |||
| Introduction to Model Checking | Vorlesung | 578334 | Mi 14:30-16:00 AH I (2350|028) (×15) Do 16:30-18:00 AH I (2350|028) (×15) | |||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 582407 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 582368 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 578303 | Mo 10:30-12:00 AH V (2356|050) (×15) Mi 14:30-16:00 AH V (2356|050) (×15) Fr 14:30-15:15 5056 (2356|056) (×15) |